Mario Ornaghi: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

A Constructive Object Oriented Modeling Language for Information Systems

Mario Ornaghi, Marco Benini, Mauro Ferrari, Camillo Fiorentini, Alberto Momigliano

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 384 KB

english, 2006

2

The relationship between logic programs and specifications-the subset example revisited

Kung-Kiu Lau, Mario Ornaghi

Journal:

The Journal of Logic Programming

Year:

1997

Language:

english

File:

PDF, 1000 KB

english, 1997

3

An Abstract Formalization of Correct Schemas for Program Synthesis

Pierre Flener, Kung-Kiu Lau, Mario Ornaghi, Julian Richardson

Journal:

Journal of Symbolic Computation

Year:

2000

Language:

english

File:

PDF, 475 KB

english, 2000

4

Determination of fetal lung maturity in rats by fluorescence polarization

Pietro Masturzo, Fernando Ornaghi, Mario Salmona

Journal:

Biochemical Pharmacology

Year:

1986

Language:

english

File:

PDF, 289 KB

english, 1986

5

Steadfast logic programs

Kung-Kiu Lau, Mario Ornaghi, Sten-Åke Tärnlund

Journal:

The Journal of Logic Programming

Year:

1999

Language:

english

File:

PDF, 2.29 MB

english, 1999

6

An improved refutation system for intuitionistic predicate logic

Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi

Journal:

Journal of Automated Reasoning

Year:

1994

Language:

english

File:

PDF, 843 KB

english, 1994

7

Abstract Parametric Classes and Abstract Data Types defined by Classical and Constructive Logical Methods

Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi

Journal:

Journal of Symbolic Computation

Year:

1994

File:

PDF, 1.43 MB

1994

8

Fluorescent amyloid β-peptide ligand derivatives as potential diagnostic tools for Alzheimer’s disease

Airoldi, Cristina, Cardona, Francisco, Sironi, Erika, Colombo, Laura, Salmona, Mario, Cambianica, Ilaria, Ornaghi, Francesca, Sancini, Giulio, Nicotra, Francesco, La Ferla, Barbara

Journal:

Pure & Applied Chemistry

Year:

2013

Language:

english

File:

PDF, 861 KB

english, 2013

9

A constructivism based on classical truth.

Miglioli, Pierangelo, Moscato, Ugo, Ornaghi, Mario, Usberti, Gabriele

Journal:

Notre Dame Journal of Formal Logic

Year:

1988

Language:

english

File:

PDF, 2.13 MB

english, 1988

10

[ACM Press the 11th Biannual Conference - Rome, Italy (2015.09.28-2015.09.30)] Proceedings of the 11th Biannual Conference on Italian SIGCHI Chapter - CHItaly 2015 - FUN PLEdGE

Maggiorini, Dario, Mannalà, Mattia, Ornaghi, Mario, Ripamonti, Laura A.

Year:

2015

Language:

english

File:

PDF, 3.91 MB

english, 2015

11

Some results on intermediate constructive logics.

Miglioli, Pierangelo, Moscato, Ugo, Ornaghi, Mario, Quazza, Silvia, Usberti, Gabriele

Journal:

Notre Dame Journal of Formal Logic

Year:

1989

Language:

english

File:

PDF, 1.97 MB

english, 1989

12

Constructivism in Non-Classical Logics and Computer Science || Preface. In Memoriam Pierangelo Miglioli (1946-1999)

Journal:

Year:

2003

Language:

english

File:

PDF, 1.72 MB

english, 2003

13

A rapid electrochemical assay of lecithin in amniotic fluid using a fluoride ion-sensitive electrode

Luisa Diomede, Pietro Masturzo, Silvano Agosti, Fernando Ornaghi, Mario Salmona

Journal:

Clinica Chimica Acta

Year:

1988

Language:

english

File:

PDF, 493 KB

english, 1988

14

Preface. In Memoriam Pierangelo Miglioli (1946–1999)

Journal:

Year:

2003

File:

PDF, 2.65 MB

2003

15

Obesity strongly predicts clinically undetected multiple lymph node metastases in intermediate- and high-risk prostate cancer patients who underwent robot assisted radical prostatectomy and extended lymph node dissection

Tafuri, Alessandro, Amigoni, Nelia, Rizzetto, Riccardo, Sebben, Marco, Shakir, Aliasger, Gozzo, Alessandra, Odorizzi, Katia, De Michele, Mario, Gallina, Sebastian, Bianchi, Alberto, Ornaghi, Paola, Br

Journal:

International Urology and Nephrology

Year:

2020

File:

PDF, 620 KB

2020

16

Pulmonary administration of functionalized nanoparticles significantly reduces beta-amyloid in the brain of an Alzheimer’s disease murine model

Sancini, Giulio, Dal Magro, Roberta, Ornaghi, Francesca, Balducci, Claudia, Forloni, Gianluigi, Gobbi, Marco, Salmona, Mario, Re, Francesca

Journal:

Year:

2016

Language:

english

File:

PDF, 1.89 MB

english, 2016

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски